(assert (forall ((q0 Real) (q1 Real) (q2 Real) (q3 Bool)) false))
(assert (forall ((q31 Real) (q32 Real) (q33 Real) (q34 Bool)) (distinct 99453508.0 71380538.0 (+ 0.0 0.0 (- q33 62404.022) 0.0 47.0))))
(assert (forall ((q43 Real) (q44 Real) (q45 Real) (q46 Real) (q47 Real) (q48 Bool)) false))
(assert (forall ((q49 Real) (q50 Real) (q51 Real) (q52 Real) (q53 Real) (q54 Real) (q55 Bool)) (=> (= (- q50) q49) false)))
(assert (forall ((q72 Real) (q73 Real) (q74 Real) (q75 Bool)) false))
(check-sat)
